Knihy od autora Stéphane Demri

Zobrazeno 1 – 3 z 3 výsledků

1. 
   Předobjednávka

   Temporal Logics in Computer Science

   Stéphane Demri, Valentin Goranko, Martin Lange | Cambridge University Press, 2016

   
   

   Očekávaný dotisk - Termín neznámý

   Jazyk: Angličtina

   Vazba: Pevná

   3131 Kč

   Předobjednat
2. 

   Concise Introduction to Alternating-Time Temporal Logics

   Stéphane Demri | Springer-Verlag GmbH, 2026

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1355 Kč

   Koupit
3. 

   Automated Reasoning

   Stéphane Demri, Deepak Kapur, Christoph Weidenbach | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více